Nets, sequential components and concurrency relations
نویسندگان
چکیده
منابع مشابه
Nets, Sequential Components and Concurrency Relations
A lattice of unmarked nets is introduced and studied. It is proved that unmarked nets representing the static structure of sequential systems are atoms of that lattice. Marking classes defined by the decomposition of nets into sequential components are introduced and proper:+zs (safeness, fireability, etc.) of nets with those marking classes are investigated. The notion of concurrent>’ relation...
متن کاملMultiport Interaction Nets and Concurrency
We consider an extension of Lafont’s Interaction Nets, called Multiport Interaction Nets, and show that they are a model of concurrent computation by encoding the full π-calculus in them. We thus obtain a faithful graphical representation of the π-calculus in which every reduction step is decomposed in fully local graph-rewriting rules.
متن کاملOn Nets with Structured Concurrency
An extension of Petri nets with a statechart-like AND/OR state hierarchy is defined and studied. The resulting net variant, statechart nets, is shown to coincide, under certain conditions, with a strict subclass of safe nets in which concurrency is structured. Next, syntactic constraints on statechart nets are defined that guarantee absence of deadlocks and livelocks. Such syntactic constraints...
متن کاملConcurrency-degrees for Petri Nets
The goal of this paper is to extend some concepts (about concurrencydegrees) from the class of Place/Transition Petri nets (PTN) to the class of jumping Petri nets (JPTN). Also, we will present a simpler definition of concurrency-degree for PTN. Moreover, we will point out how we can compute these concurrency-degrees.
متن کاملPetri Nets and Other Models of Concurrency
This paper retraces, collects, and summarises contributions of the authors — in collaboration with others — on the theme of Petri nets and their categorical relationships to other models of concurrency.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1984
ISSN: 0304-3975
DOI: 10.1016/0304-3975(84)90014-8